<?php

header('Content-Type:text/xml');

$uid = (string)$_GET['uid'];
$user = '';
if($uid != '')
{
  $lines = file('user.xml');
  foreach ($lines as $line_num => $line) 
  {
    if(substr_count($line, ' uid="'.$uid.'"') > 0)
    {
      $user = $line;
      break;
    }
  }
}

echo <<<XML
<users>$user</users>
XML;
?>